projects / emacs.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3d014e1) | patch
Fix = propagation semantic for constrained inputs
authorAndrea Corallo <akrl@sdf.org>
Tue, 2 Mar 2021 07:43:39 +0000 (08:43 +0100)
committerAndrea Corallo <akrl@sdf.org>
Tue, 2 Mar 2021 13:36:09 +0000 (14:36 +0100)
commit8c7228e8cde9a33f8128933f991f6432e58cfde3
tree5667a439dc918805f0a0e541e46847eddd656614tree | snapshot
parent3d014e1bf48f661f0b229ddf735608ff0ba7cfe6commit | diff
Fix = propagation semantic for constrained inputs

* lisp/emacs-lisp/comp-cstr.el (comp-cstr): Synthesize
`comp-cstr-shallow-copy'.
(comp-cstr-=): Relax inputs before intersecting them.
* test/src/comp-tests.el (comp-tests-type-spec-tests): Add three
tests.
lisp/emacs-lisp/comp-cstr.el diff | blob | history
test/src/comp-tests.el diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.